

package jodaTime;

import instrumentation.TrackerCoverage;

public class MainJodaTime {
	public static TrackerCoverage track=  TrackerCoverage.getTracker();
  public static void main(String[] args) {
	   java.util.Locale Locale_0 = new java.util.Locale("vWf","w");
//	   java.util.Locale Locale_1 = new java.util.Locale("","","");
//	   org.joda.time.format.DateTimeFormat.patternForStyle("SS", null);
	   java.util.Locale Locale_1 = new java.util.Locale("O","",">Tr");
	   org.joda.time.format.DateTimeFormat.shortDateTime();  org.joda.time.format.DateTimeFormat.forPattern("oOMytke");  
	   org.joda.time.format.DateTimeFormat.shortDateTime();  
	   org.joda.time.format.DateTimeFormat.forStyle("");  
	   org.joda.time.format.DateTimeFormat.shortTime();// fit: 26.0625  BrDis= 44.264965
		    System.out.print(track.toString());		
  }
}